Concurrent algorithm

Results: 314



#Item
61Computer programming / Non-blocking algorithm / Lock / Readers–writer lock / Linearizability / Spinlock / Parallel computing / Deadlock / Actor model / Concurrency control / Computing / Concurrency

Concurrent Transformation Components using Contention Context Sensors Erik Österlund Welf Löwe

Add to Reading List

Source URL: welf.se

Language: English - Date: 2014-09-21 12:09:18
62Parallel computing / Spanning tree / Analysis of algorithms / Search algorithms / Parallel algorithm / Algorithm / Genetic algorithm / Parallel Random Access Machine / Minimum spanning tree / Theoretical computer science / Concurrent computing / Applied mathematics

S OME R ESEARCH T OPICS FOR S TUDENTS Quentin F. Stout Here’s a quick overview of some research topics I’m interested in. I’ve also worked with many students that initiated their own project. If yo

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2015-03-12 12:55:51
63Transaction processing / Concurrent computing / Data / Consensus / Distributed algorithm / Two-phase commit protocol / Data synchronization / Replication / Atomic broadcast / Fault-tolerant computer systems / Computing / Data management

ZooKeeper’s atomic broadcast protocol: Theory and practice Andr´e Medeiros March 20, 2012 Abstract Apache ZooKeeper is a distributed coordination service for cloud computing,

Add to Reading List

Source URL: www.tcs.hut.fi

Language: English - Date: 2012-03-26 07:23:40
64Scheduling algorithms / Operations research / Planning / Scheduling / Algorithm / Parallel algorithm / Directed acyclic graph / Computational complexity theory / Edge coloring / Concurrent computing / Computing / Parallel computing

VizzScheduler - A Framework for the Visualization of Scheduling Algorithms Welf Löwe and Alex Liebrich Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germa

Add to Reading List

Source URL: arisa.se

Language: English - Date: 2013-01-05 08:53:31
65Parallel computing / Classes of computers / Algorithm / Mathematical logic / Theoretical computer science / Distributed computing / Computer cluster / Super-recursive algorithm / Computing / Concurrent computing / Computer programming

PIK Report No. 103 STRUCTURING DISTRIBUTED RELATION-BASED COMPUTATIONS WITH SCDRC

Add to Reading List

Source URL: www.pik-potsdam.de

Language: English - Date: 2013-09-12 17:02:47
66Algorithm / Robot / Scalability / Multi-core processor / ROS / Operating system / Humanoid robot / Multiprocessing / Speech recognition / Computing / Concurrent computing / Parallel computing

Resource-Aware Programming for Robotic Vision Johny Paul, Walter Stechele Manfred Kr¨ohnert, Tamim Asfour, Technical University of Munich,

Add to Reading List

Source URL: h2t.anthropomatik.kit.edu

Language: English - Date: 2014-08-20 07:43:32
67Models of computation / Parallel algorithm / Scalability / Parallel Random Access Machine / David May / Concurrent computing / Computing / Parallel computing

Universal Processors David May Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-09-18 04:57:55
68Concurrency / Linearizability / Algorithm / Tree traversal / Mutual exclusion / Non-blocking algorithm / Concurrent data structure / Parallel computing / Priority queue / Concurrency control / Computing / Data management

Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English
69Distributed computing / Fault tolerance / Cryptography / Failure / Theory of computation / Consensus / Byzantine fault tolerance / Promela / Distributed algorithm / Fault-tolerant computer systems / Concurrent computing / Computing

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2013-05-15 09:27:00
70Transaction processing / Memory management / Linearizability / Parallel computing / Concurrent data structure / Non-blocking algorithm / Garbage collection / Algorithm / Sequential consistency / Computing / Concurrent computing / Concurrency control

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2009-09-25 09:19:19
UPDATE